An Overview of the FLINT / ML

نویسنده

  • Zhong Shao
چکیده

The FLINT project at Yale aims to build a state-of-the-art systems environment for modern type-safe languages. One important component of the FLINT system is a high-performance type-directed compiler for SML'97 (extended with higher-order modules). The FLINT/ML compiler provides several new capabilities that are not available in other type-based compilers: type-directed compilation is carried over across the higher-order module boundaries; recursive and mutable data objects can use unboxed representations without incurring expensive runtime cost on heavily polymorphic code; parameterized modules (functors) can be selectively specialized, just as normal polymorphic functions; new type representations are used to reduce the cost of type manipulation thus the compilation time. This paper gives an overview of these novel aspects, and a preliminary report on the current status of the implementation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Role of Stem Cell Therapy in Multiple Sclerosis: an Overview of the Current Status of the Clinical Studies

The complexity of multiple sclerosis (MS) and the incompetence of a large number of promise treatments in MS urge us to plan new and more effective therapeutic approaches that aim to suppress ongoing autoimmune responses and induction of local endogenous regeneration. Emerging data propose that hematopoietic, mesenchymal and neural stem cells have the potential to restore self-tolerance, to pro...

متن کامل

An Overview of Potential Ecotourism Resources and Their Prospects in Valley of Flowers National Park, Uttaranchal, India

Protected areas are major tourism assets for a nation, particularly for developing countries providing sustainable benefit to the local community while funding for the maintenance and rehabilitation of the protected areas themselves. Valley of flowers national park is naturally meant for the conservation and study of western Himalayan flora. It became National park in 1982 and after that livest...

متن کامل

An overview of the effective educational supervision

Introduction: The role of the education system in the training of human resources to move community towards universal accelerate development is very important. The educational supervision is an important element for the achievement of this goal. Objective: The purpose of this article is an overview of the effective educational supervision Material and Method: This review article was conduct...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997